- Petri net control
- Автоматика: управляющее устройство (напр. ГПС) на базе сетей Петри
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia
Red de Petri — Saltar a navegación, búsqueda Una Red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que… … Wikipedia Español
Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions … Wikipedia
Dynamic Enterprise Modeling — (DEM) is a Enterprise Modeling approach developed by the BaaN company, and used for the Baan Enterprise Resource Planning system which aims to align and implement it in the organizational architecture of the end using company .[1][2] According to … Wikipedia
ExSpecT — (Executable Specification Tool) is a process modelling toolbased on high level Petri nets.ExSpecT modelsAn ExSpecT model is a hierarchical, coloured Petri net: it consists of transitions and places, connected by arcs; the structure of these nets… … Wikipedia
WoPeD — (Workflow Petri Net Designer) o Diseñador de Flujo de Control de Redes de Petri (en español). Es un programa de código abierto desarrollado bajo la licencia LGPL, cuya principal idea es proveer una herramienta de modelado sencilla de usar para… … Wikipedia Español
Gordon Pask — Andrew Gordon Speedie Pask (June 28, 1928, Derby – March 29, 1996, London) was an English cybernetician and psychologist who made significant contributions to cybernetics, instructional psychology, experimental epistemology and educational… … Wikipedia
Petriscript — is a modelling language for Petri Nets, designed by [http://lip6.fr/Alexandre.Hamez Alexandre Hamez] and [http://www src.lip6.fr/ Xavier.Renault Xavier Renault] .The CPN AMI platform provides many tools to work on Petri net such as verifying or… … Wikipedia
Asynchronous circuit — An asynchronous circuit is a circuit in which the parts are largely autonomous. They are not governed by a clock circuit or global clock signal, but instead need only wait for the signals that indicate completion of instructions and operations.… … Wikipedia
Token — may refer to:* Token (railway signalling), a physical object given to a locomotive driver to authorize him to use a particular stretch of single railway track * Token coin, a piece of metal or other composition used as a substitute for currency;… … Wikipedia
Process calculus — In computer science, the process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. Process calculi provide a tool for the high level description of interactions, communications, and … Wikipedia